情報キャンパス見聞録⑪ 東京工業大学 情報数理工学研究科